Specifying Class Hierarchies in Z
نویسنده
چکیده
The main target of this research is to provide a formal meta model for object-oriented systems. It provides a formal definition of the object-oriented concepts along with major consistency rules for object-oriented systems. This research is a contribution to the formalization of object-oriented systems. Other existing models fail to define the notion of virtual function and virtual class. In this article both concepts are specified in the proposed model and used to clarify the OO related concepts. To illustrate the expressiveness of the model a formal specification of the MOOD metric suite is provided using the model. The formal definition of the POF metric is successfully defined, providing one of the first Z formal specification for the POF metric thereof.
منابع مشابه
Toward a Formal Model of Software Components
We are interested in specifying component models in a way that allows us to analyze the interplay of components in general, and to concisely specify individual components. As a starting point for coming up with a technique of specifying component models, we consider JavaBeans. We capture the JavaBean component model using UML class diagrams, Object-Z, and life sequence charts.
متن کاملModeling and manipulating the structure of hierarchical schemas for the web
The Semantic Web is the next step of the current Web where information will become more machine-understandable to support effective data discovery and integration. Hierarchical schemas, either in the form of tree-like structures (e.g., DTDs, XML schemas), or in the form of hierarchies on a category/subcategory basis (e.g., thematic hierarchies of portal catalogs), play an important role in this...
متن کاملWhen do type structures contain all hierarchies of beliefs?
Hierarchies of beliefs play a central role in game theory. In practice, they are modeled by type structures. This allows the analyst to describe hierarchies without explicitly specifying an infinite sequence of beliefs. The focus of this paper is type structures that contain all hierarchies of beliefs. Can the analyst identify these structures without explicit reference to hierarchies? That is,...
متن کاملSpecifying Complex Systems in Object-Z: A Case Study of Petrol Supply Systems
As modern complex systems become increasingly large, sophisticated, feature-rich and data-intensive, people have recognized the importance of precisely and unambiguously specifying them with formal methods for a number of years. This paper advocates the use of Object-Z, a formal specification language, in the description of complex systems. Object-Z is an extension to the Z language to facilita...
متن کاملDerived Objects and Classes in DOOD Systems
The closure property is essential to enhance the power of database languages. In the deductive object-oriented database (DOOD) context, this property implies that the rule-derived objects as well as the rule-derived classes (i.e. the classes populated by the derived objects) be established with full OO (objectoriented) features. This paper provides the methods of specifying the OO features of d...
متن کامل